

/**
* Customer.java
* 
*/

package at.fhj.ase;

public class Customer {

	public Customer(){};


	/*
	* Property: firstname
	*/
	private String firstname;
	
	/*@
	  @ public                          
	  @        normal_behavior          
	  @ requires firstname non_null;
	  @
	  @*/
	
    public void setFirstname(String firstname) {
    	this.firstname = firstname;
    }
		
   
	/*
	* Property: lastname
	*/
	private String lastname;
	
	/*@
	  @ public                          
	  @        normal_behavior          
	  @ requires lastname non_null;
	  @
	  @*/
	
    public void setLastname(String lastname) {
    	this.lastname = lastname;
    }
		
   
}
